$\forall$$i$, $x$:Id, $T$:Type, $A$, $B$:Realizer.
\\[0ex]R{-}state($A$ $\oplus$ $B$;$i$)($x$)?$T$
\\[0ex]$\sim$
\\[0ex]if $x$ $\in$ dom(R{-}state($A$;$i$)) then R{-}state($A$;$i$)($x$)?$T$ else R{-}state($B$;$i$)($x$)?$T$ fi